Probability density functions for hyperbolic and isodiachronic locations
نویسندگان
چکیده
منابع مشابه
Probability density functions for hyperbolic and isodiachronic locations.
Animal locations are sometimes estimated with hyperbolic techniques by estimating the difference in distances of their sounds between pairs of receivers. Each pair specifies the animal's location to a hyperboloid because the speed of sound is assumed to be spatially homogeneous. Sufficient numbers of intersecting hyperboloids specify the location. A nonlinear method is developed for computing p...
متن کاملA Verified Compiler for Probability Density Functions
Bhat et al. [1] developed an inductive compiler that computes density functions for probability spaces described by programs in a probabilistic functional language. In this work, we implement such a compiler for a modified version of this language within the theorem prover Isabelle and give a formal proof of its soundness w.r.t. the semantics of the source and target language. Together with Isa...
متن کاملProbability Generating Functions for Sattolo’s Algorithm
In 1986 S. Sattolo introduced a simple algorithm for uniform random generation of cyclic permutations on a fixed number of symbols. Recently, H. Prodinger analysed two important random variables associated with the algorithm, and found their mean and variance. H. Mahmoud extended Prodinger’s analysis by finding limit laws for the same two random variables.The present article, starting from the ...
متن کاملEstimating and Interpreting Probability Density Functions
This paper examines two approaches to estimating implied risk-neutral probability density functions from the prices of European-style options. It sets up a monte carlo test to evaluate alternative techniques’ ability to recover simulated distributions based on Heston’s (1993) stochastic volatility model. The paper tests both for the accuracy and stability of the estimated summary statistics fro...
متن کاملFunctional Models and Probability Density Functions
There exist many approaches to discern a functional relationship between two variables. A functional model is useful for two reasons: Firstly, if the function is a relatively simple model in the plane, it provides us with qualitative information about the relationship. Secondly, given a fixed value for one variable, the other one can be calculated as a means for prediction. In this paper an app...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Acoustical Society of America
سال: 2004
ISSN: 0001-4966
DOI: 10.1121/1.4809241